1. بررس امکان ساختاری شدن و راسری شدن برخی اثبات های قضیه ناتمامیت گودل
پدیدآورنده: /پیام سراجی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
2. مقدمه اي بر منطق رياضي براي دانشجويان علوم کامپيوتر و رياضي
پدیدآورنده: پيام سراجي
کتابخانه: كتابخانه عمومی آيت الله خامنه اى (قم)
موضوع: منطق رياضي -- راهنماي آموزشي (عالي)
رده :
511
3-
س
427
م
3. مقدمهاي بر منطق رياضي، براي دانشجويان علوم کامپيوتر و رياضي
پدیدآورنده: / پيام سراجي,سراجي
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع: منطق رياضي -- راهنماي آموزشي (عالي)
رده :
۵۱۱
/
۳
س
۴۲۷
م
4. مقدمهای بر منطق ریاضی برای دانشجویان علوم کامپیوتر و ریاضی
پدیدآورنده: /پیام سراجی.,سراجی
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی, -- راهنمای آموزشی (عالی)
رده :
QA
۹
/
س
۴
م
۷ ۱۳۸۹